5

Representation and recognition of situations in sensor networks

Year:
2010
Language:
english
File:
PDF, 241 KB
english, 2010
6

Discovering routine behaviours in smart water meter data

Year:
2015
Language:
english
File:
PDF, 139 KB
english, 2015
14

Conformance test experiments for distributed real-time systems

Year:
2002
Language:
english
File:
PDF, 87 KB
english, 2002
15

Conformance Tests for Real-Time Systems with Timed Automata Specifications

Year:
2000
Language:
english
File:
PDF, 174 KB
english, 2000
18

Occupancy Estimation using a Low-Pixel Count Thermal Imager

Year:
2016
Language:
english
File:
PDF, 3.19 MB
english, 2016
33

BuildSense

Year:
2019
Language:
english
File:
PDF, 1.10 MB
english, 2019
35

An embedding of Timed Transition Systems in HOL

Year:
1993
Language:
english
File:
PDF, 1.12 MB
english, 1993
46

Review: Book Review

Year:
1996
File:
PDF, 715 KB
1996